how to prove algebraic identities